- 双语例句 更多例句
1、
This paper builds the Deductive System of Temporal Logical formulas in default theory.
本文建立了基于缺省理论的时态逻辑公式演绎系统。
互联网摘选
- 相关词组
- manipulation of algebraic formulas代数公式的处理
- programmer logical unit程序员逻辑部件
- report write logical record报表书写逻辑记录
- logical overlap coefficient逻辑重叠系数
- report writer logical record报表编制逻辑记录
- magnetic core logical circuit磁心逻辑电路
- logical parent逻辑双亲
- multilevel logical circuit多级逻辑电路
- logical connection逻辑连接，逻辑连结;
- logical paging逻辑分页
- routine logical instruction程序逻辑指令
- logical connective逻辑连接，逻辑连接词，逻辑连接符;
- ray tracing formulas光线追迹公式
- question logical formulation提问逻辑式
- logical paradox逻辑悖论
- logical axiom逻辑公理
- modifier formulas修正公式
- logical page逻辑页
- random quadrature formulas随机求积公式
- normal formulas正规公式,范式
- 今日热词
- 热门搜索
- complain v.抱怨，发牢骚;
- ready adj.准备好的;现成的;马上要;急需;乐意的;聪明的;v.为…作好准备;
- fictionist n.小说家，创作家;
- ARE YOU 你是……吗；广你是……吗；你们是……吗
- butthole 肛门
- 布洛芬 ibuprofen; Brufen; IBU
- fly me to the moon [电影]月球大冒险;月球探险记;带我飞向月球;
- so what 那又怎样;那又怎么样;那又怎么样呢
- knowledge n.知识;知晓;
- GEO abbr.生成引擎优化（Generative Engine Optimization）;地理的;地球同步轨道(Geosynchronous Earth Orbit);地球静止轨道(Geostationary Earth Orbit)
- Britain n.英国;不列颠(包括英格兰、苏格兰及威尔士)
- diagram n.图表;图解;示意图;[数]线图;
